Comparing metric completions of triangulated categories with Verdier quotients

Neeman's metric on a triangulated category assigns lengths to morphisms and allows us to construct triangulated metric completions of the category. We prove that the metric completion of a triangulated category with respect to a constant metric is always a subcategory of the Verdier quotient by the