Completion of a metric space