Add leave example and arguments

redbot/core/core_commands.py

@@ -1541,7 +1541,14 @@ class Core(commands.commands._RuleDropper, commands.Cog, CoreLogic):
 
         Note: This command is interactive.
 
-        """  # TODO: Example and arguments
+        **Examples:**
+            - `[p]leave` - Leave the current server.
+            - `[p]leave "Red - Discord Bot"` - Quotes are necessary when there are spaces in the name.
+            - `[p]leave 133049272517001216 240154543684321280` - Leaves multiple servers, using IDs.
+
+        **Arguments:**
+            - `[servers...]` - The servers to leave. When blank, attempts to leave the current server.
+        """
         guilds = servers
         if ctx.guild is None and not guilds:
             return await ctx.send(_("You need to specify at least one server ID."))