We investigate $p$-ary $t$-designs which are simultaneously designs for all $t$, which we call universal $p$-ary designs. Null universal designs are well understood due to Gordon James via the representation theory of the symmetric group. We study non-null designs and determine necessary and sufficient conditions on the coefficients for such a design to exist. This allows us to classify all universal designs, up to similarity.