75 Should olives be completely leaf-free before milling, or can some leaves stay in?

Is it better to keep the leaves during the milling process, even adding more if necessary, or should the olives enter the mill completely leaf-free? What is the correct school of thought: leaf or no leaf?