Formal completions and idempotent completions of triangulated categories of singularities