Een documentvernietiger is een andere, veel minder gebruikelijke, benaming voor een papiervernietiger.