Complete metric space

"Cauchy completion" redirects here. For the use in category theory, see Karoubi envelope.