Completeness Criterion (Metric Spaces)

Theorem
Let $M = \struct {S, d}$ be a metric space.

Let $A \subseteq S$ be a dense subset.

Suppose that every Cauchy sequence in $A$ converges in $M$.

Then $M$ is complete.