Complete and model-complete theories of monadic algebras