Semantically universal classes of models