Leaflet itself doesn’t offer built-in functionality to export data as a Shapefile (SHP). However, if you have access to the underlying vector data (typically stored in GeoJSON), you can convert it to a Shapefile using third-party tools.