real analysis – Question about construction of $mathbb{R}$

I hope this question is not na├»ve, but I’ve stumbled across it and now it’s really bugging me. If we define the real numbers as the completion of the rationals, isn’t the statement that every Cauchy sequence converges a tautology? In what sense is it a theorem?