Can you choose an "export" option in SmartConsole that will provide you the details of a group? No, there is not a way to do that currently.
You can get data from SmartConsole CLI, e.g. show group name "Corporate LANs" --format json
However, it won't be in CSV format.
JSON can be parsed offline with jq or similar similar to what I provided in my initial answer.
SmartConsole CLI does not provide access to jq or any other output parsing mechanisms.
Further, depending on the size and contents of the group, additional commands may be required to obtain all the data you're interested in.
This is because API commands return a limited number of results by default, though the additional results can be requested with additional calls using limit and/or offset parameters.