SMS: Completion of probabilistic normed spaces