Definition:Complete Metric Space/Definition 2

Definition
A metric space $M = \struct {A, d}$ is complete the intersection of every nested sequence of closed balls whose radii tend to zero is non-empty.

Also see

 * Equivalence of Definitions of Complete Metric Space