A universally closed, universally injective, and unramified morphism is a closed immersion.
Here are some references. The result itself is here
The definition of an unramified morphisms is here
Formally unramified morphisms are defined here
and a morphism which is formally unramified and locally of finite type is unramified, see here