String.Split takes an array when including any StringSplitOptions
:
string[] batchstring = batch_idTextBox.Text.Split(new [] { ';' }, StringSplitOptions.RemoveEmptyEntries);
If you don’t need options, the syntax becomes easier:
string[] batchstring = batch_idTextBox.Text.Split(';');