Drupal\Tests\BrowserTestBase::$defaultTheme is required in drupal:9.0.0 when using an install profile that does not set a default theme. See https://www.drupal.org/node/3083055, which includes recommendations on which theme to use.
Results are from dataset #256676 from 2024-08-17T19:58. Report is ran by the Drupal Association regularly.