An algebra over a Monad is an object of the category over which the monad is defined $A$ equipped with a morphism $\theta: TA \to A$

See here

Algebras over a monad form a category called the Elienberg-Moore category

A category D is called monadic over a category C if D can be expressed as a category of algebra of a monad over category C