Title: Metric domains for completeness