Serre defined a p-adic modular form to be a formal power series with p-adic coefficients that is a p-adic limit of classical modular forms with integer coefficients.
The p-adic modular forms defined by Serre are special cases of those defined by Katz.