There are two options for shredding leaves and depending on what you want to do with them, either will suffice. You can run a lawnmower over dead leaves and have it mulch otherwise insert them into a leaf mulcher for a more efficient method. The leaf mulcher can deal with larger quantities at a time, may have a vacuum function, and can be adjusted depending on what you want to do with the final product, like having them go into a catcher.