Wiktionary
mulching mower
n. A rotary mower that cuts clippings into small pieces and redistributes them uniformly back into the lawn.