Completeness of derived interleaving distances and sheaf quantization of non-smooth objects