Nome genérico para designar teatro de bonecos. Tipo de divertimento popular encontrado em Pernambuco (nordeste brasileiro) que consiste em dramatizações feitas por bonecos. Elas acontecem, em geral, por ocasião das festividades da Igreja. O tom dos diálogos é geralmente crítico, sendo muito comum o uso de improvisações, sobretudo de piadas de humor pesado, ridicularizando fatos ou pessoas. As cenas representadas podem ser entre boneco e público, boneco e operador ou entre dois bonecos. O operador é chamado de mamulengueiro. Manifestações semelhantes recebem nomes diferentes em diversas regiões do país: joão-minhoca em Minas Gerais; mané-gostoso na Bahia; joão-redondo no Rio Grande do Norte; babau ou benedito em outras partes do Nordeste.

Fonte: Dicionário do Teatro - Luiz Paulo Vasconcelos