SMS dit: Completion of probabilistic normed spaces