Definition:Complete Metric Space/Definition 1

Definition
A metric space $M = \struct {A, d}$ is complete every Cauchy sequence is convergent.

Also see

 * Equivalence of Definitions of Complete Metric Space