Hi Steven,
on Youtube an American chap called Patrick Dolan has a very good channel on growing no-dig veg, https://www.youtube.com/user/OneYardRevolution – if you look through his videos he has several on how he uses leaves in his garden.
In my garden I used as many as I can get hold of, we run them through the shredder and spread them as mulch where they then break down very quickly.