you can mow them finely, and they will help grass, as long as the spot
gets sunlight. One foot of dried leaves gives you a few millimeters of
leaf mold.