Aqui está uma demonstração de 2 maneiras de adicionar GeoJSON a um mapa web Leaflet: http://codepen.io/pmckinney/pen/mELyNY
Eu sei que também existe o plugin Leaflet-AJAX.
E se você estiver interessado em converter um shapefile ou classe de feição para GeoJSON, confira a ArcToolbox da City of Philadelphia.
Alguém sabe por que a saída da ferramenta de conversão JSON do ArcGIS Desktop não funciona no Leaflet? Sempre me perguntei o que estava acontecendo com isso.