Definition:Complete Disconnected Riemannian Manifold

Definition
Let $\struct {M, g}$ be a disconnected Riemannian manifold.

Suppose $M$ is geodesically complete or that every disconnected component is a complete metric space.

Then $M$ is said to be complete.