Yes. Muppets are, by definition, hybrids of puppets and marionettes. The mouth moves like a puppet, while the arms move like a marionette. Yoda is, mechanically, a muppet, at least before they made him CG.